Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.aiยท19hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
Programming Entry Level: how to interpreter
dev.toยท14hยท
Discuss: DEV
๐Ÿ”—Lisp
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.comยท2h
๐Ÿฆ Malware Analysis
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท21hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท2hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท5hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท1d
๐Ÿ”Type Inference
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Machine Learning Fundamentals: active learning
dev.toยท21hยท
Discuss: DEV
๐Ÿค–Grammar Induction
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.comยท1dยท
Discuss: Hacker News
๐Ÿ“šProof Pedagogy
How to (Almost) solve cybersecurity once and for all
adaptive.liveยท17hยท
Discuss: Hacker News
๐Ÿ”Systems Hardening
Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Task
media.mit.eduยท1dยท
Discuss: Hacker News
๐Ÿง Intelligence Compression